Results for 'Seyedeh Sajedeh Salehi'

28 found
Order:
  1. Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.
    By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Heritage Impact Assessment Method in the Production of Cultural Heritage. Iranian Cases.Hassan Bazazzadeh, Seyedeh Sara Hashemi Safaei & Asma Mehan - 2022 - In Maaike De Waal, Ilaria Rosetti, Mara De Groot & Uditha Jindasa (eds.), LIVING (WORLD) HERITAGE CITIES: Opportunities, challenges, and future perspectives of people-centered approaches in dynamic historic urban landscapes. pp. 171-182.
    In recent years, we have been observing an increasing significance of industrial heritage in international heritage studies. Developed in response to urban development needs, industrial heritage is now considered a valuable part of the city. Such an approach has resulted in the adaptive reuse of industrial heritage in the developing countries. This is, indeed, a practical solution for sustainable development of cities and the subject matter of many academic discussions. In this respect Heritage Impact Assessment (HIA) seems to be a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Metaliteracy for Best Practices in Crisis and Risk Communication.Alireza Salehi-Nejad - 2022 - In Media and Information Literacy Seminar 2022: Nurturing Trust for Media and Information Literacy. Tehran, Tehran Province, Iran:
    The dissemination of information in times of crisis or emergency is distinctive since the affected individuals may take, process, and act on information differently. As the Centers for Disease Control and Prevention noted “the right message at the right time from the right person can save lives.” This study elaborates on the principles of crisis and emergency risk communication (CERC) in the realistic narrative, and notes that a successful CERC should be prompt, accurate, veracious, empathetic, respectful, and promote meaningful action. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi - 2019 - Theoria 85 (1):8-17.
    We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscript
    We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Diagonal arguments and fixed points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.
    ‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Soundness does not come for free (if at all).Kaave Lajevardi & Saeed Salehi - manuscript
    We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).
    Download  
     
    Export citation  
     
    Bookmark  
  10. ‘Sometime a paradox’, now proof: Yablo is not first order.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (1):71-77.
    Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Necessity and Importance of Incorporating Media and Information Literacy into Holistic Metaliteracy.Alireza Salehi-Nejad - 2020 - Journal of Cyberspace Studies 4 (1):69-75.
    Digitalization and the emergence of the Internet have resulted in escalating access to information and communication. Given the circumstances that soaring access to information amounts to the intensification of misinformation and disinformation, a set of critical skills to navigate and critically assess the information is necessary. This paper outlines the significance of these skills, and provides a perspective on metaliteracy as a supplement to media and information literacy, and argues that the ability to conceptualize, access, comprehend, analyze, and use information (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Russian foreign policy: The return of great power politics.Alireza Salehi Nejad - 2016 - Central European Journal of International and Security Studies 10 (3).
    In Russian Foreign Policy: The Return of Great Power Politics, Jeffrey Mankoff examines the course of Russian foreign policy since the dissolution of the Soviet Union in 1991. He provides a comprehensive over-view of both the continuity and the changes in Russian foreign policy from the end of the Cold War to the Putin era, and analyses Russia’s interactions with major global powers. Throughout the book, the author makes use of various theoretical approaches, including theories of international relations, classical geopolitical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi - 2020 - Reports on Mathematical Logic 55:73–85.
    It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. The European Immigration Crisis: A Review.Alireza Salehi Nejad - 2016 - Central European Journal of International and Security Studies 10.
    Issues including the immigration flows, increased diversity of the society, and alienation of parts of the population are not necessarily new phenomena for the European Union. As an illustration, Frontex, the EU Agency for the Management of Operational Cooperation at the External Borders, was founded in 2004 in the light of the uncontrolled immigration from Africa to control the cooperation between national border guards securing its external borders, or EUROSUR (the European Border Surveillance System) has come to effect since 2013.
    Download  
     
    Export citation  
     
    Bookmark  
  15. US Foreign Policy and US-China Relations in a Changing World Order: the Assessment of American Think Tanks.Alireza Salehi-Nejad - 2019 - In The First International Conference on Chinese Studies. Tehran: University of Tehran.
    From the animosity of the Cold War era, the rapprochement in 1972, normalization of relations in 1979, to rising China and the current trade war, the US-China relationship has emerged and been regarded as an important relationship in global politics, and distinctively significant in the shaping of world order. The United States, a fount of modern think tanks, is home to approximately 30% of the total in the world. These think tanks were gradually embedded into American politics and exercise undoubtedly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. ضرورت رویکردی اجتماعی روانشناختی برای مقابله با تروریسم: چرا افراد به گروه های تروریستی ملحق می شوند.Alireza Salehi-Nejad - 2019 - In سومین همایش سالانه انجمن علمی مطالعات صلح ایران: علوم انسانی و اجتماعی وصلح. Tehran:
    پژوهشگران پدیده تروریسم را از مواضع مختلفی ازجمله سیاسی، اقتصادی، روانشناختی، اجتماعی، فرهنگی و دینی مورد مطالعه قرار دادهاند. علیرغم وجود تعاریف متعدد و غیرواحدی از مفهوم تروریسم و تروریست بیان شده است که به طور کلی بیانگر دیدگاه ارائه دهنده آن است، اجماعی بر دسته بندی تروریسم یراساس نوع (مانند دولتی، مذهبی، پاتولوژیک، سایبری، نارکوتروریسم و بیوتروریسم)، مقیاس (داخلی و بین المللی)، انگیزه ها و اهداف آن وجود دارد. همچنین، ریشه ها و علل تروریسم می تواند منشا داخلی (مانند (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. A Bibliometric Analysis and Visualization of the Scientific Publications of Universities: A Study of Hamadan University of Medical Sciences during 1992-2018.Heidar Mokhtari, Seyedeh Zahra Mirezati, Mohammad Karim Saberi, Farzaneh Fazli & Mohammad Kharabati-Neshin - 2019 - Webology 16 (2):187-211.
    The evaluation of universities from different perspectives is important for their scientific development. Analyzing the scientific papers of a university under the bibliometric approach is one main evaluative approach. The aim of this study was to conduct a bibliometric analysis and visualization of papers published by Hamadan University of Medical Science (HUMS), Iran, during 1992-2018. This study used bibliometric and visualization techniques. Scopus database was used for data collection. 3753 papers were retrieved by applying Affiliation Search in Scopus advanced search (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. A socio-psychological approach towards terrorism: How and why do individuals support, join, stay in, and leave terrorist organizations?Alireza Salehi-Nejad - 2019 - In International Conference on Peace and Conflict Resolution. Tehran: University of Tehran.
    The phenomena of terrorism and other politically motivated violence have been assessed across different disciplines from political science and economics to theology and psychology. Whereas the definitions of the concepts of “terrorism” and “terrorist” are disputed and they rather reflect the perspectives of the defining entity, there is a common consensus that terrorism can be classified in terms of its type (such as state-sponsored, dissent, religious, pathological, narco-, cyber-, and bioterrorism), the scale (i.e. domestic vs. international), motives, and objectives. By (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Britain and the Iranian Nuclear Program: An Illuminating Appraisal.Alireza Salehi-Nejad - 2019 - In The First Biennial Conference on Contemporary Iranian Studies.
    Owing to the escalating regional rivalries and the conventional arms race, Iran’s post-revolutionary hostilities towards the West, in addition to the crucial geopolitical and economic significance of the region, the complex Iranian nuclear crisis has made the global leaders to brood over the multilateral Iranian negotiations with the P5+1 and the International Atomic Energy Agency, which led to finalization and adoption of the Joint Comprehensive Plan of Action in 2015. The United Kingdom as a permanent member of the United Nations (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Theoremizing Yablo's Paradox.Ahmad Karimi & Saeed Salehi - manuscript
    To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The Global Media and Information Literacy Week: Moving Towards MIL Cities.Saied Reza Ameli & Alireza Salehi-Nejad - 2019 - Journal of Cyberspace Studies 3 (1):1--4.
    The Global Media and Information Literacy Week commemorates the progress in achieving “MIL for all” by aggregating various MIL-related local and international events and actions across different disciplines around the world.The MIL Global Week 2018, 24 to 31 October, was marked by the United Nations Educational, Scientific and Cultural Organization in collaboration with various organizations including the UN Alliance of Civilizations, the Global Alliance for Partnership on MIL, the International Federation of Library Associations, the International Association of School Libraries, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Reliability of Cognitive Faculties: A Critic on Plantinga’s View on Atheist Naturalism.Religious Thought, Ahmad Ebadi & Maryam Salehi - 2020 - JOURNAL OF RELIGIOUS THOUGHT 20 (77):127-150.
    In the naturalism and evolutionism context, the ultimate objective and function of cognitive faculties is adaptation, survival and reproduction. Our cognitive faculties are not developed to generate true beliefs, therefore, but to have adapt behavior. Alvin Planatinga is not at ease with naturalism idea. To him, the problem with naturalism is the non-existence of proper understanding on the manner by which the belief and behavior are interrelated, thus, he concludes that the reliability of cognitive faculties are founded on low naturalistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Review: Analysing Political Discourse: Theory and Practice. [REVIEW]Alireza Salehi Nejad - 2017 - Central European Journal of International and Security Studies 11 (1):139--141.
    In this novel work, Paul Chilton expends a considerable amount of effort examining relations between the use of language and political discourse. Many realist linguists in the past century claimed that language should be evaluated as the innate part of a human mind. The scholarly interest in the public use of language is followed by crit-ical theory and the Frankfurt School of social theory and philosophy, which considered language rather as a social phenomenon than a mental phenomenon and intended to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Importance of Flexibility in Adaptive Reuse of Industrial Heritage: Learning from Iranian Cases.Hassan Bazazzadeh, Adam Nadolny, Asma Mehan & Seyedeh Sara Hashemi Safaei - 2021 - International Journal of Conservation Science 12 (1):113-128.
    In recent years, the significance of industrial heritage has seemed to become a growing trend in international heritage studies. Concerning their attributed values and the crucial needs for urban development, this branch of cultural heritage has been considered the important grid of cities. This has caused a great acceptance of adaptive reuse practices especially among developing countries which is a smart response to an ongoing debate to reach sustainable development. The flexibility of these buildings and sites seems an important criterion, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Promoting Sustainable Development of Cultural Assets by Improving Users' Perception through Space Configuration; Case Study: The Industrial Heritage Site.Hassan Bazazzadeh, Adam Nadonly, Koorosh Attarian, Behnaz Safar Ali Najar & Seyedeh Sara Hashemi Safaei - 2020 - Sustainability 12 (12).
    The role of the cultural assets as one of the pillars of sustainable development is undeniably of great significance in the cultural sustainability of cities. Indeed, the way users understand and interpret cultural heritage sites would be highly critical to managing cultural organizations properly. It means by improving users’ perception of these sites, it can expect a fair distribution of comprehensive awareness among generations about the values of cultural assets. Past studies in spatial psychology have demonstrated that environmental properties can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Evaluating the Attribute of Industrial Heritage in Urban Context on Natural Movement Distribution. The Case Study of Dezful City.Hassan Bazazzadeh, Adam Nadolny, Koorosh Attarian, Behnaz Safar Ali Najar & Seyedeh Sara Hashemi Safaei - 2022 - International Journal of Conservation Science 13 (2):579-592.
    Space configuration of industrial heritage sites, which have been adaptively reused, are modeled in the depth map. Simultaneously, by using in-situ observation the actual patterns of pedestrian movement in these sites are captured. Finally, the results of simulated patterns and actual patterns are compared and interpreted. Findings show a notable impact of built heritage on the natural movement's patterns. Consequently, the significance of determinative factors of natural movement in these sites differs from regular sites. Therefore, this exception could develop a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Requirements for comprehensive management of industrial heritage sites and landscapes.Hassan Bazazzadeh, Mohammadjavad Mahdavinejad, Mohsen Ghomeshi & Seyedeh Sara Hashemi Safaei - 2018 - In Dr Somayeh Fadaei Nejad Bahramjerdi (ed.), The proceeding of the International Conference on Conservation of 20th Century Heritage from Architecture to Landscape. pp. 167-180.
    Industrial heritage has become a very matter of debate among experts as the most significant reminder of the industrial era, it also is of great examples of 20th-century heritage. Nowadays, industrial heritage sites are suffering from intense physical conditions and are being intruded by massive economic projects since they are located in favorable places of towns and possess vast spaces. Conservation methods have mostly been limited to the surroundings of industrial heritage sites and have not considered the extended areas connected (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Personal, family and societal educational needs assessment of individuals with spinal cord injury in Iran.Zahra Khazaeipour, Abolfazl Abouie, Fatemeh Zarei, Hamid Mirzaaghaie, Afsaneh Abd-Mousavi, Alireza Salehi-Nejad, Alexander Vaccaro, Rahimi-Movaghar R. & Vafa - 2018 - Neurosciences 23 (3):216--222.
    Objectives: To explore individuals’ perception of the personal, family and societal educational needs following a spinal cord injury. Methods: Sixty-one patients who sustained a traumatic SCI between March 2015 and June 2016 referred to Brain and Spinal Cord Injury Research Center were included in a cross sectional study and completed an online survey containing open-and closed-ended questions, in Iran. Participants’ responses were analyzed i using a qualitative approach with a thematic analysis. Results: Following a thematic analysis of the patient’s perceived (...)
    Download  
     
    Export citation  
     
    Bookmark